Boolean grammar - PDFSEARCH.IO - Document Search Engine

Boolean grammar
Results: 53

#	Item
11	HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHA Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Theoretical computer science SQL injection SQL Hampi Context-free grammar String Constraint programming Boolean satisfiability problem Formal grammar Formal languages Computing Software engineering
12	We transfer information using sentences. How should we model this? Some aspects of the logical structure of conversation Daniel Rothschild Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Propositional calculus Grammar Semantics Philosophy of language Boolean algebra Proposition Negation Formal language Logic Linguistics Science
13	Aspic Grammar (Fast variant) Laure Gonnord, university of LilleAspic vs Fast Add to Reading List Source URL: laure.gonnord.org Language: English - Date: 2012-02-07 06:09:22 Boolean algebra Boolean data type ALGOL 68 Software engineering Computing Programming language theory
14	100 ANSWERS 2007 Basic Exam (updated toRule Book. Add to Reading List Source URL: umpiring.qld.softball.org.au Language: English - Date: 2014-03-11 21:31:46 Negation Semantics Mathematical logic Logic Linguistics Boolean algebra Propositional calculus Grammar
15	2010 Softball Australia Basic Umpires Exam (updated torulebook) 100 ANSWERS. Add to Reading List Source URL: umpiring.qld.softball.org.au Language: English - Date: 2014-03-11 21:31:52 Grammar Negation Semantics Mathematical logic Mathematics Boolean algebra Propositional calculus Logic
16	2009 Softball Australia Basic Rules Exam 100 ANSWERS. Add to Reading List Source URL: umpiring.qld.softball.org.au Language: English - Date: 2014-03-11 21:31:46 Mathematical logic Grammar Negation Semantics Mathematics Boolean algebra Propositional calculus Logic
17	2011 SAL Basic Rules Exam Answers and rule references from the 2010 – 2013 SAL rule book. Add to Reading List Source URL: umpiring.qld.softball.org.au Language: English - Date: 2014-03-11 21:31:58 Negation Semantics Logic Mathematical logic Mathematics Boolean algebra Propositional calculus Grammar
18	2008 Softball Australia Basic Exam 100 ANSWERS. Add to Reading List Source URL: umpiring.qld.softball.org.au Language: English - Date: 2014-03-11 21:31:46 Propositional calculus Semantics Logic Mathematical logic Mathematics Boolean algebra Grammar Negation
19	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:51 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
20	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science